Strong typing of object-oriented languages revisited
نویسندگان
چکیده
منابع مشابه
Some challenging typing issues in object-oriented languages
In this paper we discuss some of the remaining problems in the design of static type systems for object-oriented programming languages. We look at typing problems involved in writing a simple interpreter as a good example of a simple problem leading to difficult typing issues. The difficulties encountered seem to arise in situations where a programmer desires to simultaneously refine mutually i...
متن کاملConcurrent Object-Oriented Languages
For uniprocessor systems, the object-oriented approach to programming has proven to be effective in obtaining highly maintainable and reusable software. Object-oriented programming languages, with its inherent conceptual elegance, has also allowed a high degree of programmability in the development of complex systems. As we move towards addressing issues for parallel environments, programmabili...
متن کاملFoundations of Object-Oriented Languages
A report on the workshop Foundations of ObjectOriented Languages, Paris, July 1994.
متن کاملComponent-Oriented Programming in Object-Oriented Languages
Current approaches to component-oriented programming are based on traditional object-oriented languages and concepts. However, most existing object-oriented languages fail to address subtle interface compatibility issues that become paramount in a component-based setting. We explore both syntactic and semantic interface incompatibilities and discuss why they are difficult to handle. We argue th...
متن کاملMaking Safer Object-oriented Languages
In this short paper I sketch out a problem, which is rarely recognized by designers of programing languages. Null values are a source of many problems and run-time errors as well as some incoherences in language and data model design. I propose a nice and simple solution altering the semantics of variables declarations and give some additional information to the compiler and verifier.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1990
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v19i326.6716